Немонотонные логики(такие логические исчисления, в которых появление новой информации (добавление посылок) может изменить истинность заключения:http://epistemology_of_science.academic.ru)
Динамическая логика
Логики, отменяющие закон исключённого третьего
Интуиционистская логика (система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений:http://iph.ras.ru/)
Конструктивная логика (изучает рассуждения о конструктивных объектахи конструкциях:http://dic.academic.ru/)
Логика квантовой механики (Квантовая логика-раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории:http://ru.wikipedia.org)
Логики, меняющие таблицы истинности
Многозначная логика(совокупность логических систем, опирающихся на принцип многозначности: http://dic.academic.ru/)
Двузначная логика(логика, опирающаяся на двузначности (бивалентности) принцип: http://dic.academic.ru/)
Комбинаторная логика — это логика, которая заменяет переменные функциями с целью прояснить такие интуитивные операции с переменными, как подстановка. Построенная на базе комбинаторной логики система арифметики содержит все частично рекурсивные функции и избегает гёделевской неполноты.(http://ru.wikibooks.org/wiki/)
Кондициональная логика (условная логика). Её предмет — истинность условных предложений (в частности, сослагательного наклонения). Логика контрафактических утверждений.(http://www.youtube.com/watch?v=7d3wRVZoKSI)
Логики, отменяющие закон исключённого третьего
- Интуиционистская логика (система философских и математических идей и методов, связанных с пониманием математики как совокупности «интуитивно убедительных» умственных построений:http://iph.ras.ru/)
- Конструктивная логика (изучает рассуждения о конструктивных объектахи конструкциях:http://dic.academic.ru/)
- Логика квантовой механики (Квантовая логика-раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории:http://ru.wikipedia.org)
Логики, меняющие таблицы истинности- Многозначная логика(совокупность логических систем, опирающихся на принцип многозначности: http://dic.academic.ru/)
- Двузначная логика(логика, опирающаяся на двузначности (бивалентности) принцип: http://dic.academic.ru/)
- Трёхзначная логика(http://dic.academic.ru/)
Логики, расширяющие состав высказывания- Логика вопросов(http://dic.academic.ru/dic.nsf/enc_philosophy/)
- Логика оценок(изучает логическую структуру и логические связи оценочных высказываний: http://dic.academic.ru/dic.nsf/enc_philosophy)
- Логика норм (исследует логическую структуру и логические связи нормативных высказываний: http://dic.academic.ru/)
Модальная логика- Модальность(http://dic.academic.ru/dic.nsf/enc_philosophy/)
- Алетические модальности(http://logikah.ru/podb2-aleticheskaya_modalnost.html)
- Деонтические модальности(http://dic.academic.ru/dic.nsf/logic/)
- Эпистемологические модальности(http://epistemology_of_science.academic.ru)
- Временные модальности
- Строгая импликация
- Материальная импликация(http://mirslovarei.com/content_log/implikacija-material-naja-114.html)
Недедуктивные логические теории- Индуктивная логика(http://dic.academic.ru/dic.nsf/logic/117)
- Вероятностная логика(http://dic.academic.ru/dic.nsf/enc_philosophy/)
- Логика решений(http://madelectronics.ru/)
- Логика нечётких понятий (логика нечётких множеств, нечёткая логика:http://www.fuzzyfly.chat.ru/)
- Аналогия(http://filosof.historic.ru/)
Другие неклассические логикиПолезные ресурсы:
Сайт о логике http://baslogic.ru/?%A0_Predmet_i_Nauka:Neklassicheskaya_logika
Сайт об антиглобализме http://www.antiglobalizm.org/faktor/klassicheskaya-i-neklassicheskaya-logika/